On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
نویسندگان
چکیده
منابع مشابه
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
Stochastic Petri Nets and Stochastic Process Algebras can both be used for the qualitative and quantitative analysis of parallel and distributed systems. However, sometimes the complexity of the system can make such analysis infeasible, due to the large size of the state space underlying the model. To overcome this problem diierent aggregation techniques have been proposed in both formalisms. T...
متن کاملMapping coloured stochastic Petri nets to stochastic process algebras
We provide a mapping which translates a model in a coloured stochastic Petri net notation (PEPA nets) into a term of a foundational stochastic process algebra (Stochastic CCS). Our mapping is a compositional static method which translates from one high-level model to another without needing to evaluate the state space of the given PEPA net. The result of the translation is a well-formed input f...
متن کاملAnalysing Clocked Process Algebras via Stochastic Petri Nets
Correctness and performance are two of the most important engineering issues in the development of complex software. Clocked Process Algebras (PA) such as SFSP (stochastic Finite State Processes) offer a means for systematic, hierarchical modelling of complex systems for determining both aspects of a system. SFSP is a process algebra supported by the LTSA (Labelled Transition System Analyser) t...
متن کاملExploiting stochastic process algebra achievements for generalized stochastic Petri nets
Constructing large Generalized Stochastic Petri Nets (GSPN) by hierarchical composition of smaller components is a promising way to cope with the complexity of the design process for models of real hardware and software systems. The composition of nets is inspired by process algebraic operators. A solid theoretical framework of such operators relies on equivalences that are substitutive with re...
متن کاملStochastic Petri net semantics for stochastic process algebras
In this paper we deene a Stochastic Petri Net (SPN) semantics for Stochastic Process Algebras (SPAs), a recently introduced formalism that ooers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: Con-currency and Retrievability, as deened by Olderog for untimed net semantics, and Markov Equivalence for the stochastic aspects.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.7.600